Feeds to Scour
SubscribedAll
Scoured 9576 posts in 3.66 s
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Building the World's First Cryptographic Audit Trail for MetaTrader: A Deep Technical Dive
dev.toยท20hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
Preview
Report Post
unintentional type theory in nLab
ncatlab.orgยท3dยท
Discuss: Hacker News
๐Ÿ”คType Theory
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
Discuss: r/programming, r/rust
โฌ†๏ธLambda Lifting
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท8h
๐Ÿ’งLiquid Types
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›๏ธAgda
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.comยท2d
๐Ÿ“Linear Algebra
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท12h
๐Ÿ“Parsing Grammars
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
โœ…Formal Methods
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ“œProof Carrying Code
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท1d
๐Ÿ’งLiquidhaskell
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ”ฎProof Search
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.comยท1d
๐Ÿ’งLiquid Types
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.acยท3d
๐ŸคPaxos Consensus
Preview
Report Post
Formally Verifying Peephole Optimisations in Lean
l-m.devยท5dยท
Discuss: Hacker News
โš–๏ธVerification Calculi
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ“Linear Logic
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...
freederia.comยท2h
๐Ÿ”Quantum Security
Preview
Report Post